CMBY10.PS[CM,DEK] - www.SailDart.org

perm filename CMBY10.PS[CM,DEK] blob sn#797389 filedate 1985-06-26 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔εbp→
G#λ≤M&d ⊃* 0∞H∧λ%Pλ4P ⊃)$"RH∧(%Pλ4` ⊂(T β∪*dP#	 6pα[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβSλ∧H%P	4P ∪)$&RH∧h%P	4` ∩-P86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP8&⊂	∀X ∩i$&RH∧h%⊂	TX ∩iD$Q(@@&UI#p⊂β,Q81π+r_.Ik0xα↓ @x-αa⊂(∧BkPε↓!@P+B↓p(πB
`8λA"⊂8*Ab (	↓j@0
↓"@0)ABP(
AJ 0↓"`0(ABp(AJ⊂(↓#((↓#⊂(A)p0A#⊂0'A# (
↓)`(
A#0('↓#0(
A)P(∞↓#@(&A#@(∞↓)@(∞A#P(&↓#P(∞A)@(∞A#P(%A#`(∂↓)0(∂↓#`(%A#`(∂↓)0(∂↓#`(%A#`(∂↓) (∂A#p(%↓#p(∂A) (∂A#p(%↓#p(∂A)$&RH∧h%⊂	TP ∪)$&R@QxαG`TPαG`QxαR@QxαG`TPαG`QxαR`QpαG@TXαG@QpαR`QpαG@TXαG@QpαR`QpαG@T`αG QhαSQhαG T`αG QhαS Q`αGThαGQ`αS@QXαF`TpαF`QXαS`QPαF@Txβε QHβ∀QHαF UλαFQ@αT a8αE`e⊂β¬@Q0β∀`a(αE e β¬Q β∃ q⊂αD@u0βD QλβUaxαCa¬@¬βP`¬⊗A0HαB!5XπAP πW$ux⊃XCV(ZAT("αIU0%∂Dh2El!h/HkR8-CaPx-αbpX,αCPP+B∧0@+↓dp8*Ae⊂8*↓EP0)AeP8)α%0H(Be⊂X(A ⊂0∪A@⊂((↓ 00∩A@0('A@@0⊃A@@0'A `0⊂A@`('↓!0∂AA('↓!⊂0∞AA⊂(&A!00
AA0(&A!@0AA@(&↓!`0AA`(&↓!p0
AAp(&↓"0	AB(%A" 0λAB (%A"00πAB0(%A"@0εAB@(%A"P0¬ABP(%A"`0∧AB`(%↓#0βAC(%↓#⊂0αAC⊂(%↓# 0↓AC (%↓#00AC0(%↓#@X∞↓) (∞B#P(%↓#`8∂↓) (∞B#P(%↓#@X∞↓) (
A@⊂0
A) (
↓@00
↓) (A@P0A) (↓@p0↓)0(↓A⊂0↓)0(
AA00
A)0(
↓AP0
↓)0(	AAp0	A)0(	↓B⊂0	↓)@(λ↓B00λ↓)@(πABP0πA)@(π↓Bp0π↓)P(ε↓C⊂0ε↓)P(¬AC00¬A)`(∧ACP0∧A)`(∧↓Cp0∧↓)p(β↓D⊂0β↓)p0α↓D00α↓J(↓ADP0↓A*⊂(ADp0A*⊂X∀Bj H∃B*08⊗Aj@0⊗AJP8∀Aj`8∪Ajp@⊃BP∞BK XBk0xεCkR8/Hl!h2Em h"Q4$OgP⊂↓M@4XαMTPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tPβL@tP∧↓∧XβLtXβLtX∧A∧`∧↓∧`∧JA∀h∧J↓∀h¬I↓4pελ↓DxεG↓UπEAuλ	Cα5_↔∃¬E0∀⊗∧EX∂↔Cε_π⊃(E` ∩'shCKa@-GKα +

B`)KJ⊃_ε∧jxβiph∞β)``⊂β	PX∩αiPH∀α)@H∃α)@@⊗α	0@↔α	08_↓i08_↓i @_α	 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i0(~↓)@_≠hT /⊂	∪x≡G@F8β→`f0∧→Aε(¬→!& ε→↓F_π_af⊂λ_@p⊂βX!⊂∧_ p βX↓ ∧_p0βWa0∧↔`p@βWA@∧↔@pPβW!P∧↔ p`βW↓`∧↔ppβVap∧⊗`qβVA↓∧⊗@q⊂βV!↓⊂∧⊗ q βV↓↓ ∧⊗q0βUa↓0∧∃`q@βUA↓@∧∃@qPβU!↓P∧∃ q`βU↓↓`∧∃qpβTa↓p∧∀`rβTAα∧∀@r⊂βT!α⊂∧∀ r βT↓α ∧∀r0βSaα0∧∪`r@βSAα@∧∪@rPβS!αP∧∪ r`βS↓α`∧∪rpβRaαp∧∩`sβRAβ∧∩@s⊂βR@s⊂βR`S αS30↓Q(Ex ∩'sh↓f`_%A&@(%↓f 8%↓f 8%αε@%Af8%B¬`@&↓e`8&α¬@@&Ae@8&B¬ @'↓e 8'α¬@'Ae8'B∧`@(↓d`8(α∧@@(Ad@8(B∧ @)↓d 8)α∧@)Ad8)Bβ`@*↓c`8*αβ@@*Ac@8*Bβ @+↓c 8+αβ@+Ac8+Bα`@,↓b`8,αα@@,Ab@8,Bα @-↓b 8-αα@-Ab8-B↓`@.↓a`8.α↓@@.Aa@8.B↓ @/↓a 8/α↓@/Aa8/B`@0↓``80α@@0A`@80B @1↓` 81∧0p1CL@`2βPP2BL`@3αp03AM "Q∧2X~UhA ↓W U`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βWu`βR`0pβC@4Pββp`β∩APβBA∧P¬αp@¬∩a00βAA4h¬↓ p(¬∪a⊂ βA↓∃λ∧@@p⊂∧Taλβ@!¬(
UB58λV↓uHεVA5X∧Wu`βW Upα↔`$("λE3(+QαP⊂/↓P(.↓k@8-B+ X,C+x+D*a_*E*0@A`⊂@(B  8↓α)pHα↓`@H&B@P8αBI0Xβ↓``X%αA8∧αI @¬↓a @%↓A@8ε↓I0_π↓a`_.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓kP(/hT ⊂→Mr ∃E5hαWe`αV`eXαV@eHβ⊗e8β∃@u(βUu⊂∧∀↓∀p _	D1Rhε(%⊂dX →)D1SHε(α* @*↓jP8+↓jp0,↓K⊂0-↓K0(-AK@(.↓KP(/hT ⊂YMr ∃P	p_L↓30LA3⊂0M↓3 0MAS@0NASP8O↓sp8Pα∀⊂H&⊂∧X →	$3∩Hε0%⊂dX →	D0(!~∧'`ypβg yhβ'iXβ&@iPαf iHαfi@αf 4("	fx∩
b@_≤kP(≠↓+@0≠↓K@(≤↓+00≤↓K0(≥↓+ 0≥↓K⊂0≡↓K0∨↓Jp0 ⊂e0βPλ8*Ah∧⊂βUt"↓j @ ⊃A¬∧P	H'⊂d` _i42RHε0%PT` _id/∀↓∀$α* @ ⊃A¬ βPλ@8*Ah∧⊂βU@t ↓jp0 ⊂e@β∂@eHβ∂ePβ∞@eXαN@UXβ∞e`αNU`β
@ehαM@Up↓N4("εHU⊂"∞cR01Jlαx/+C_-
∪ +D*`p*C
@X)Bj P(BJ⊂H(α)pH'B	`@'α	P@&Ai@@&↓i@8%B	08%Ai08%α	 8%↓i 8%↓i 8%↓i 8%↓i 8%α	08%Ai08%B	@8&↓i@@&AiP@'α	`@'B	pH(α*⊂H(BJ P)Bj@X*C
`p+D+∪ -
C_/,αx1Jlr0"Qβ4()⊃π0⊂∪∩e4P↔RF∀P→RfD`~≤"↔(π≡↓GP¬↑a7h¬∨A'x∧`↓_λ∧`Aλ_∧ aλ ∧! x(∧!@x0βaAλ8βa`x8βaaλ@βbx@βbx@βbx@βbx@βaaλ8βa`x8βaAλ0βa@x(∧! x ∧ aλ_∧ Aλλ∧`↓↔x∧←A'h¬≡a7P¬↑↓G(π≤"∀`~∩fDP→RF∀P↔Re4`∪⊃(C⊂≤⊃(CX∞F,1p0λKb .	K"8,Ijqλ+βJP`*αj0X)αJ⊂P(B*H'B)p@'α	`@&B	P8&α	@8&↓i0@%Ai08%Ai @%↓i#0%
i#@%∞	#@%
i#0%↓i @%Ai08%Ai0@&↓i@8&α	P8&B	`@'α	p@'B*H(B*⊂P)αJ0X*αjP`+βJqλ,Ik"8.	Kb 0λL1p3F(T ≤∂h$0"@3(↓R`S_αR@sλβR@sλβRAαx∧∩`rxβRaαh∧∪rhβSrhβS↓αX∧∪ rXβS!αH∧∪@rHβSAα8∧∪`r8βS`r8βSaα(∧∀r(βT↓α_∧∀ r_βT!αλ∧∀Eu⊂↔TeU_⊗TeU ∃U¬5(βF`u(∧ε!¬0βF u0βF u0∧¬a¬8βE`u8∧¬!¬@βE u@∧∧a¬HβD`uH∧∧!¬PβD uPβD uP∧βa¬XβC`uX∧β!¬`βC u`∧αa¬hβB`uhβB`uh∧α!¬pβB up∧↓a¬xβA`ux∧↓!εβA v∧aελβ@`vλβ@`vλ∧!ε⊂β@ v⊂πXaV_εY↓6 ¬Y↓6(∧Y!⊗0βY@v8αZ4("∞&3`"⊃"x%L)#_%i#_%LICλ;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8'iCλ&)Cλ&)Cλ'n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓n`8;↓iCλ%LI#_%i#_%L)Bx"Qπ$$GD@⊂≡∩gdP ⊂	$ ∩H∧%OiCpAAp08AAp08AAp08AAp08AAp08AAp08AAp08AAp08AAp08AAp08AAp08B↓0@("QαD()⊗hT q0Cα0@XAβ0p?βo@x=βox;βn@x9βnx7βm@x5βmx3βl@x1βlx/βk@x-βkx+βj@x)βjx'βi@x%CI h%αi h%CI@x'βjx)βj@x+βkx-βk@x/βlx1βl@x3βmx5βm@x7βnx9βn@x;βox=βo@x?βppAβ0@XCα10Ehq↓⊂λ∀X ⊂i$"RH∧(%⊂λTX ⊂iD Q(A("TK4(↓i00%α) X%β)0p&βi`x(βj x*βj`x,βk x.βk`x0βl x2βl`x4βm x6βm`x8βn x:βn`x<βo x>βo`x@βP hBαp h@βO`x>βo x<βn`x:βn x8βm`x6βm x4βl`x2βl x0βk`x.βk x,βj`x*βj x(βi`x&βi0p%β) X%α)00&hq↓⊂λ∀X ⊂i$"RH∧(%⊂λTX ⊂iD Q(Aλ&UFC_↓⊂	∀X ∩i$&RH∧h%⊂	TX ∩iD$Qb⊂ ∩)4%RH∧h%⊂	TP ∪)4%Sλ∧H#D$$Rh∧X%⊂	TP ∪)$&Rh∧X&⊂	∀("≠ES01R@ _%A) 8%↓i @%Ai08%B	@8&α	P8&AiP@'↓i`@'Aip@(↓j8(α
⊂8(B
 8)↓j @)Aj0@*↓j@8*α
P8*B
`8+↓j`@+Ajp@,↓k@,Ak⊂8,B 8-α08-Ak0@.↓k@@.AkP8.B`8/αp8/Akp@0↓l@0Al⊂80B 81α081B@82↓l@@2AlP@3↓l`83αp83B
84↓m@4Am⊂@5↓m 85α
085B
@86α
P86AmP@7↓m`@7Amp87B∞88↓n⊂(9hT 5↓bf_%@4XαR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR`T`↓Q(@λπIabαA)PH&αi0h%C) x%βi x%βi x%C)0h&αiPH'A(T αMg30~ε@6_β_Aελ¬_↓Exπ↔B¬h	↔αEX¬A%P¬↓↓%H¬↓A%@¬α↓%8¬αA%0¬β↓%(¬βA% ¬∧↓%_¬∧A%⊂¬¬↓%λ¬¬A%¬ε↓$x¬εA$p¬π↓$h¬πA$`¬λ↓$X¬λA∀P¬	↓∀P∧IA∧P¬	↓∀X¬λA∀`¬λ↓$h¬πA$p¬π↓$x¬εA%¬ε↓%λ¬¬A%⊂¬¬↓%_¬∧A% ¬∧↓%(¬βA%0¬β↓%8¬αA%@¬α↓%H¬↓A%P¬↓↓%X¬A%`
↔"%pλ↔afε_!&⊂∧_`f ↓Q(F0∀M4P∂BL@x1∧,↓_/βkPh.β0`-β X,C⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,BkX,αjpX+αjP`)C
p%∧I!%∧	!⊂(βJ0`*C
`X+BkX,αk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X,Bk⊂X-αk `-C@`.C+`x0∧l!λ2βm⊂P"QrH~_i λ∧RAtPλRB5πTaU(ε∃AE8ε⊗↓5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬VA5P¬Va5`¬W↓Epε↔afλ	_bε_λ_"%xπ↔AE`ε↔↓5X¬VA5P¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V!5H¬V↓E@¬UaE0ε∃!E_εT↓tP	RB∀PπRa∀(",fx⊗Kα X↔α+⊃_∩D
q@⊂¬
Q`∞ε
2π
"_
β!⊂H(I" XπAjα@παB08'Ba⊃0εα"p0'αα↓ ¬α#⊂0'↓b1_∧αβ@(&ABa_βαβ`(&A#⊃⊂αα∧ &↓#1λ↓B∧⊂(&↓βQλB∧0 %A#a@∩↓)0 ⊂¬D` %A∧⊃ ∪A	  ⊃Ddp(%↓∧Aλ∀A	  ∩D¬⊂ %↓∧Qλ∀↓	  ∪∧$p %↓∧qλ∪↓	  ∀∧$P %↓¬⊃∩A	  ∀D$@ %A∧q_⊃↓)0 ∪E∧⊂ %A∧a0∂A)0(∩εβ`(&↓∧0@D#@(&↓$⊂@↓D# 0&A∧@α∧C0&A#`@β∧bP8'↓#@@∧∧b @'A#⊂H¬¬↓pH'ABpHε¬A⊂X(↓B@Pπ

⊂8πBb"()α!⊂h
λj1`λ
Q@∞π
q ⊂ε⊃∩Dk@H↔αhT 9N(%X#g_¬\!fxλ[A⊂ β≠!8α[↓0∧~a(¬~`p(¬ZA(ε~!(εZ!(εZ↓⊂(εZ↓0εZ↓0εYa⊂8¬Ya⊂8¬Ya⊂@∧Ya⊂PαYa⊗0∧YA⊗0∧YA⊗(¬→!&(¬→!⊗(∧Y↓& ¬→↓& ¬→↓&_¬Xa&_¬_a&⊂¬XA6⊂¬XA6⊂¬X!6λ¬X!6λ¬X!6¬X↓6¬X↓6¬X↓&¬_↓%x¬Wa5x¬↔a%x¬↔a%x∧Wa∃p¬↔A%p¬↔A∃p∧WA∃p∧WA∃h∧S@PP∧S↓⊂@∧Ra08∧Ra08∧RAP0∧∩AP0∧∩AP(∧RAP(∧∩AP(∧∩A@(∧∩a0(βRa (∧∩a0∧∪P8∧∪` ∧S"∀pπ∪a5λβ⊃(@⊂≠Rfc ↓eP_%AE (%α¬8%α$`@%αD@H%BD H&αDP&BC`P'αC@P'BC P(αCP(BB`P)αB@P)BB P*αBP*BA`P+αA@P+BA P,αAP,B@`P-α@@P-B@ P.¬Q⊂/∧pp0β⊂P0βpp/∧Q⊂.¬0P↓αK PααK⊂PβαKP∧αJpP¬αJ`PεαJPPπαJ@PλαJ0P	αJ P
αJ⊂PαJPαIpP
αI`P∞αIPP∂αI@P⊂αI0P⊃α) P∩α) H∪α	 @∀↓i00∃↓)@_⊗@hT ↓JfRX↔∧`U`βVa∃X∧Va∃X∧Va∃`βS@`βCDXβB@pPβRA⊂HβB!∀P¬αp@¬∩A@0βAADPεA@P0εRA`(αA!dXπ@`P_πS↓p⊂α@Atxε@ PλεTC5(
V↓uP¬VA5@πU"U⊂
SaPλα@!T`π@@P⊂πRap_α@atPπ↓ P(π∩AP0αAATPε↓@p0ε∩A @βB↓$P∧B pH∧R`pPβB@t`αβp`α↔uX∧Va∃X∧Va∃X∧WuhαQ(@ &UH#P∩↓-@H5β-⊂x4Cm↓λ4∧,q_3Dlq_3Dlq_4∧-↓λ4Cm⊂x5β-@H7↓(pX↓⊂	∀X ∩i$&RH∧h%⊂	TX ∩iD$Qa2 α[↓⊗PεZ!vHπZα⊗@λYb68	Yb68	Yb6@λZα⊗HπZ!vPε[↓⊗pαQ(@8&UI#0↓⊂	∀X ∩i$&RH∧h%⊂	TX ∩iD$[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ t` ∩)4%RH∧h%⊂	TP ∪)4%Sλ∧H6AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP87↓-p_"Q↓∀h+∩GbεY"v⊂∞Wd5h∪VaphπVA18¬V↓!h¬∃aα_∧∃@r8βU rHβUbhβ∀`bxβ∀@cλβ∀ c_β∀ S(αTS8αS`c8β∪`SHαS@SXαS@SXαS ShαS ShαSSxαSSxαSSxαR`T A)0( ⊂ TXαPλ⊂(%A(∧λαR`T A) ( ⊂`TPαPλ0(%↓(∧_αR@T!A)$&RH∧h%⊂	TP ∪)$&R@T!A) ( ⊂`TPαPλ0(%↓(∧_αR`T A)0( ⊂ TXαPλ⊂(%A(∧λαR`T A)@(∨A)@(∨A)@(∨A)P(≡A)P(≡A)`(≥A)`(≥A)p(≤A)p0≠AJ(≠A*⊂(~A*⊂0→AJ 0_AJ00↔AJ@0⊗AJP8∀Aj`8∪Ajp@⊃BP∞BK XBk0xεCkR8/Hl!h2Em h"Q↓4h+∩GbεY"v⊂∞Wd5h∪VaphπVA18¬V↓!h¬∃aα_∧∃@r8βU rHβUbhβ∀`bpβT@bp∧T bp¬T Rpβ UαK@`_αS`bhβ↓dxαK `0αS@RhβαTpαK`HαS R`βα`ThαJ```αSRXββ@T`αJ@`xαSRHβ∧TXαJ a⊂αR`R@β∧`TXαI`a αR`R0β¬ TXαI a0αR@R(βεTPαIaHαR@R_βε@TPαH@aXαR@RβGTPαG`qhαR@QpβG@TPαG qxαR@Q`βλ TPαF`b⊂αR@QPβλ`TPαF b αR@Q@β	 TXαE@b(αR`Q(β	@TXαEb8αR`Q_β
TXαD@bHαSQβ
 T`αC`bPαSPpβ
`ThαCbXαS PXβTpαB b`αS@P@β TxαA@bhαS`` β eα@`bpαT Pλβ@Uλ¬K@e⊂∧K@e_βK@e β e(βJ u0βI`u8∧λa¬@¬π!%P¬Ea5XπC!uh∪Wd6⊂∞Y"vPεQ(@`&UI#p⊂β,Q81π+r_.Ik0xεCk XBkP∞BJp@⊃B
`8∪AjP8∀Aj@0⊗AJ00↔AJ 0_AJ⊂0→AJ⊂(~A*(≠A)p0≠AIp(≤A)`(≥A)`(≥A)P(≡A)P(≡A)@(∨A)@(∨A)@(∨A)0( ⊂ TXαPλ⊂(%A#P8∞A)0(
Bc0(%A# h
↓) (
βc (%↓#⊃λA) (D#⊂(%↓#↓_↓) (∧c(%↓#↓_↓) (∧c(%↓#↓_↓) (∧c(%↓#↓_↓) (D#⊂(%↓#⊃λA) (
βc (%A# h
↓)0(
Bc0(%A#P8∞A)0( ⊂ TXαPλ⊂(&↓'p(&↓'p(&↓'p(&A'P(&A'P('↓'0('↓'0('A'⊂('AFp0(↓&p((A&P((AF00)↓F⊂0)AEp0*↓EP0*Ae⊂8+↓dp8+B∧0@,αCPP-αbpX-CaPx.Ikr_1π,Q85β(T εYMuX#
B&p∂~dF@∃→&ε_~_'¬x∧αeh	πα%`λλB¬Xπ
↓eHεKAU@εAE8¬MA50¬N↓5(¬NA5 ¬∂A%_¬⊂λP)B(∧⊂∧TA∀"α*⊂H ⊃A∃λ∧⊂	@(αλ∧P∧∀↓∧%α	p@ ∪↓∧xβP	`8'αλ∧p∧∪@t(↓iP@ ∀↓∧hβP
 8&Ah¬⊂βS↓∧)α	@8 ∃t`βP
@8%Bλ¬ ∧∩`t+↓i08 ∃@tXβP
`8%Ah¬0βRA∧+α	 8 ⊗tPβP8%↓h¬@βR@t,↓i 8 ⊗tPβP8%↓h¬@βR@t,↓i 8 ⊗tPβP8%↓h¬@βR@t,↓i @ ∃A∧XβP
`8%Ah¬0βR`t+↓i08 ∃@tX∧⊂
@@&↓h¬ βSt*↓i@@ ∀A∧hβP
 8&Ah¬⊂βS!∧(α	`8 ∀tp∧⊂	`@'Ah∧pβSa∧&α
@ ∩A¬∧⊂	 @(Bλ∧@∧∀!∀#α* H ⊃↓∃_∧Pλ H)BH∧¬∃↓#p¬∃!3P¬UA3@¬Ua30¬V↓C⊂ε⊗!RpεVab@π↔αα⊂λ↔"!`	↔ba_'ε_~→&ε@∃~dFp∂≥α$("βES0∃B⊂X,∧*a(*ε*!h(Gjαλ'C!⊂h'αapX'α"0H&B"PH&Bαp@&αβ⊂@&↓c08%Bβ0@%AcP8%AcP8%αβP@%↓cp8%↓cp8%↓cp8%↓cp8%↓cp8%↓cp8%↓cp8%αβP@%AcP8%AcP8%Bβ0@&↓c08&αβ⊂@&Bαp@&B"PH'α"0H'αapX'C!⊂h(λ*⊃x)π*AH+¬+↓λ-BhT πK&bP↔∧!5@λUBU TCUλ∂T∧∀x⊃SDTp∩S$th∪S¬∀`∀Re4X∃Re4P⊗RETP⊗RETP⊗RETP⊗RETP⊗Re4X∃Re4`∀S¬∀h∪S$tp∩SDTx⊃T∧∃λ∂TCU UBU@λVa4("∧	U0≤
  _ ⊂`4Xβ∂`dP∧∂!∧P∧Na∀P¬∞!$X¬M!4`¬La4hεaDpε!DxεJ!UλεI!U⊂πλ!e πFau(λE"∃8
αbEH↔Ve5h∪Wd6⊂∞Y"vPεQaRεY"v⊂∞Wd5h∪Ve5H↔Ub@X
∃"⊃(λU↓qXπTAbλπ∀!R(εSaRHεSABhε∪!Bxε∪↓3_¬Ra3(¬RA#H¬∩A∪X∧RAβh∧∩`cxβ∪4!@hT 	⊃*%X"G$f_∃X¬up_Wε5P~⊗&E8λUAe(ε∃↓5_¬TA%λ¬∀!∃∧Sa∀x∧∪A∧p∧∪!∧hβS↓∧`βStX∧∩`tXβR`tP∧∩@tPβR@tPβR@tPβR@tPβR@tP∧∩`tXβR`tX∧∪t`βS↓∧hβS!∧p∧∪A∧x∧∪a∃∧T!∃λ¬∀A%_¬U↓5(ε∃Ae8λV&EP~↔ε5p_X¬v_∃Ydd8λ↓'dp ⊂	d S(∧⊂'⊂λ∀p ⊂	sp"Qα4()⊗hP⊂∪∩e4P↔RF∀P→RfD`~≤"↔(π≡↓GP¬↑a7h¬∨A'x∧`↓_λ∧`Aλ_∧ aλ ∧! x(∧!@x0βaAλ8βa`x8βaaλ@βbx@βbx@βbx@βbx@βaaλ8βa`x8βaAλ0βa@x(∧! x ∧ aλ_∧ Aλλ∧`↓↔x∧←A'h¬≡a7P¬↑↓G(π≤"∀`~∩fDP→RF∀P↔Re4`∪⊃b⊂∨∩h∧%⊂λ∀P ⊂I$ Rh∧&∂HT ⊃*%X"Pλ_DA18D↓q8D↓pp@CApp8CAp`8C↓pP@Bα⊂@@AB⊂ H@B0H?BOPX>αo `<C∞ph:βN⊃6DM⊃(2ε1x&	2P%
	" %
	2P&1x2ε
⊃(6DN⊃:βNph<C∂ `>αoPX?BPH@B0 HAB⊂@@Bα⊂P@C↓p`8CApp8CApp@D↓q8D↓q8DA1 _#D$ Rh∧_%⊂λTP ⊃)$"Rh∧_&⊂λ∀("¬hU⊂-Q  _%A) 8%↓i 8%↓i @%Ai08%Ai@8&↓i@@&B	P@'α	`H'B*H(αJ⊂X)αj0`*β
Ph+CK↓-∧K1(.Fqx0KBP3J
2 3JBP0Kqx.F1(-∧K↓+CJPh*β
0`)αj⊂X(αJH'B)`H'α	P@&B	@@&↓i@8%Ai08%Ai @%↓i 8%↓i 8%A)@_#D$ Rh∧_%⊂λTP ⊃)$"Rh∧_&⊂λ∀("ε	U0
IB@→*pp↔jQ⊂⊗↓
A(∀A*!@∀↓*⊃X∪↓*↓h∩A)r⊃A)b⊂⊂AIb_⊂↓IPh∧∧#P0&BA`x∞↓I@H	βC 8&ααPpAi@8CBP@%Ac p	α)00∞βa`P%ACQλ∧β) 0⊂λi 0⊂HI (⊃H	 (∩G) (∪εi (∀ε	 (∀E)0 ∃DI0_↔βI@λ→αλT S*cλ→Ca∪⊂UArp↓UαBXα∀C∩8αTβR(αSdα_αSD2β∪$Qxβ∪$q`βS¬!HβS↓PHE↓∀X¬DαQ¬Ra⊃ B!TXβF%$PβG∧tPβπdTPβλ$$PαHd∧PαI#TPαIc∀PαJBDX↓KAt`LA∀8αβa∪⊂UArp↓UαBX↓TC∩8αTβR(αSdα_αSD2β∪$Qxβ∪$q`βS¬!HβS↓PHE↓∀X¬DαQ¬Ra⊃ B!TXβF%$PβG∧tPβπdTPβλ$$PαHd∧PαI#TPαIc∀PαJBDX↓KAt`LA∀("πfx%Oh∧H _@αG X0∧εAλ ¬ε↓(_¬Ea8λεE!Wxπ¬↓ghπ¬↓g`εE!WPπ¬↓g@π¬↓g0π¬↓g(εE!W_π¬↓gλπ¬↓fxπ¬↓fhπ¬↓f`π¬↓fPπ¬↓f@π¬↓f0π¬↓f(εE!V_π¬↓fλπ¬↓exπ¬↓epεE!U`π¬↓ePπ¬↓e@π¬↓e0π¬↓e(π¬↓e_π¬↓eλπ¬↓dxπ¬↓dpεE!T`π¬↓dXεE!TPε¬ADP¬ε↓$Pε¬ADXεE!T`π¬↓dpεE!Txπ¬↓eλπ¬↓e_π¬↓e(π¬↓e0π¬↓e@π¬↓ePπ¬↓e`π¬↓epεE!Uxπ¬↓fλπ¬↓f_π¬↓f(εE!V0π¬↓f@π¬↓fPπ¬↓f`π¬↓fhπ¬↓fxπ¬↓gλπ¬↓g_π¬↓g(εE!W0π¬↓g@π¬↓gPπ¬↓g`εE!Whπ¬↓gxπ¬↓hλεE!X_¬Ea8 ¬ε↓(0∧εAλ@αG T("π,fx%O`0λ⊂@)0(∞A) @
α	 PαI XBi h
C)0p
βIPp
βIph
C*p
βJ p
βJ@p
βJ`h
C*pp
βK⊂p
βK0p
βKPp
βK`p
βLp
βL p
βL@p
βL`h
C,pp
βM⊂p
βM0p
βMPh
C-`p
βNp
βN p
βN@p
βNPp
βNpp
βO⊂p
βO0p
βOPh
C/`p
βPh
C0 `β⊂@PαP `β⊂h
C/`p
βOPh
C/0p
βO⊂p
βNpp
βNPp
βN@p
βN p
βNp
βM`p
βMPh
C-0p
βM⊂p
βLpp
βL`h
C,@p
βL p
βLp
βK`p
βKPp
βK0p
βK⊂p
βJpp
βJ`h
C*@p
βJ p
βJp
βIph
C)Pp
βI0p
βI h
C) XBi PαI @
α	0(∞A(T ∂⊃*$ ≥⊂λ_DA18D↓q8D↓pp@CApp8CAp`8C↓pP@Bα⊂@@AB⊂ H@B0H?BOPX>αo `<C∞ph:βN⊃6DM⊃(2ε1x&	2P%
	" %
	2P&1x2ε
⊃(6DN⊃:βNph<C∂ `>αoPX?BPH@B0 HAB⊂@@Bα⊂P@C↓p`8CApp8CApp@D↓q8D↓q8DA1 _"Qβt()⊃π ⊂↓R`TPβR@tPβR@tP∧∩`tXβR`t`βSt`∧∪!∧h∧∪A∧p∧Sa∃∧T↓%λ¬TA5_ε∃↓E(εUae@λ⊗B%X
W#¬x∂X%F ∃→eεX∩→eε ∃_%Ex∂W#¬X
VB%@λ∃ae(εU↓E_ε∀A5λ¬T↓%∧Sa∀p∧SA∧h∧∪!∧`∧∪t`βR`tXβR`tP∧∩@tPβR@tPβR`T`↓Q(B(3≠jt  ∩@A ↓da⊂`∧$Ci_∞eβ98&bJ_ε(AJπ'ayp¬ Yh¬@Y`¬`YX¬↓YH¬A Y@¬A@Y8¬αY0¬α Y(¬α@Y ¬α`i⊂¬C Yλ¬β`Y¬∧Xx¬∧ hp¬∧`Xh¬¬XX¬E XP¬ε8H¬ε@_@¬!a((¬a↓8_¬ A(λ¬ ↓'p¬←!7`¬≡a'P¬≡!'8¬]A'(¬≥↓'_¬≤!7¬[a&p¬≠!&`¬~A6H¬Z↓&8¬→A&(¬_a6⊂¬_!&¬↔a%h¬W↓5X¬⊗A%H¬⊗↓%0¬U!5 ¬∀a%⊂¬∀!$x¬SA4h¬∪↓$X¬∩A$P∧R@tXαS4("	Lfx+Q _%A) 8%α) P%BI@P&BI`X'Bj⊂P)αJ0P*αJPX+αkP,BK P-BK@X/αKpP0αL⊂P1αL0X2BL`P3BMP4BM0P6αMPP7αMpP8αn P9BN@P:BN`P<αO⊂P=αO0P>αOPP?BPP@BP PABPPHCαPpPDαQ⊂P
1 Pq@H↓1PP
↓1`P	A1pPλARPλ↓2⊂PπA20Hπ↓2@P¬ARPP¬↓2`P∧A2pP∧↓3⊂HβA3 PαA30Pα↓3@P↓A3PP↓↓3`PA4pPC4 `QC∪A_KF∩AXIG2!pIB!@@J↓α@_"Q∧th+F⊂x∧L@∃0πK@5 

`E_JUλ
I@U∞I Tx⊂λ`Tp⊃λ dh∩G`dh∪Gt`εB"1PβS↓ x	¬a∧X∧Eα⊃ ∧Ra↓8	βa$XβFB0HεR@q`∪R@ax∩R@b⊃R@R_⊂∩@R(∞R@R0
R@R@R`BP
∩`2pπS∪⊂∧Qb0⊂ ∩)4%RH∧h%⊂	TP ∪)4%Sλ∧H"Q¬ε07Oεr0α[`vp∧≠@vh∧≠↓ε`∧~aεP∧~!⊗H∧~↓ε8∧→A⊗(∧Yλ∧P1P	Fλ ∪l∧(↔h¬λ.P
%` ∀K `,β
`h*βJ⊂x'∧	1⊂%∧)!%D)`x(CJ@h+βX-αk@P.P
∃x ∀∧(_(∧x1P	V  ∩lT$YAε8∧~vHβZ!εP∧~`vX∧≠↓εhβ[!εpβ[Aεxβ\T("
,fx≡
g0(B↓p@@BApP@Cα⊂`@CB⊃@Dα1⊂@Eα⊃0@EB1@H&⊂	$X ∪	$'RH¬%⊂
∀X ∀ID)%↓I0ε%aY@π&Ay`λ'")xλhα	pλg!yXπ&!Y@ε%a9(¬e↓$` ∀)4(∩H¬%⊂	tP ∪)4%Sλ∧HFα⊃0@EAq 8DB⊃@D↓pp@Cα⊂`8BB⊂P8Bα⊂@8BA(T ∃⊂Hu8"λ&Hα~ F@β~f8∧→aε0¬→A&(ε→!F π_bε_λ_A⊂∧_!⊂⊂∧X! ∧_↓0∧↔a@∧↔A⊂@∧W!⊂P∧W↓⊂`∧Va⊂p∧VA⊃∧V↓1¬UaAε∃!aπ∃↓qπTB⊃λTα1	SAPλβDpλεS↓`⊂βDp⊂π∩aP βDp εRAP(βDp(εRA08βDp8¬RA⊂HβDpH∧R@pXβDpXβR@PhβDphαR` xβDpx↓↔qβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβW Q⊂αW@1 ↓Q(BX!⊃jt 
b@_.A" (.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8.↓b8%@Ap8λ↓ap⊂%↓!P8λ↓aP(%↓a08λ↓a08%α!⊂8λ↓a⊂H%α`p8λ↓`pX%β P8λ↓`Ph%C @8λ↓`@h&β@ 8λ↓` p'β ⊂8λ↓`⊂h(∧b↓_)∧"↓λ*βbx*CBp+Cα`,αbX-α"H-B!`H.α!@H.B! H/α!H/B↓@0α`@0B@@0B  H1α @1D12βLP`2C`P3αLp@3B
04↓M⊂ 4A
 ⊂"Q¬FP8OεqxαH@V@βHv@βHv@βHv8∧λ↓ε8βH@v0∧λAε(∧	↓ε(βI@v ∧	Aε_∧
↓ε_∧
↓ε⊂∧
Aελ∧↓ε∧A¬x ⊂t ↔(∧ .⊂λeX ∩$%⊗λ∧p+BG@P*Bg`X*αh∧¬TAD!β	ph ⊃AThπ⊂	p%Ch∧PπRAd'βI h ∀↓TXπ⊂	@p&C(∧PεSaT#β*⊂` ⊃↓E_¬Pλ X*BH∧¬∃A#p¬⊗↓∪`∧V(∧`-P	¬` ⊃KT"↔H∧⊂/Pλε∨_!α`∧_!α`∧_AαP∧_aα@∧→r@βY↓α0∧→ r0βY!α ∧→Aα⊂∧→`r⊂βYaα∧~rβZrβZrβZ R⊂αQ(Bh3≠jt @b@ %α↓@H%πI!h%Fi1@%Di0`&β	@h&βI@(BI@(↓αI@(↓BI@(ααI@(αBI@(βB)@(∧αI@(∧BI@(¬αI00¬BI0(πα)0(πBI0(λαI 0λBI (	BI (
αI (α)0_αI@λ
αMP4BM P6α-PP7αMpP8αN⊂P9BN@P:BN`P;BOP=αO0P>αOPP?αOpX@BP PABP@PBBPpPDαQ⊂PEαQ0PFαq`PGBRPHBR PIBrPPKαRpPLαS⊂XMαs@PNBS`POBTXPBt0PRαTPPSαTpHTAu (U@hT ↔→Mu8"⊂⊂_U↓5⊂8SB4`PRBT@PQBT⊂XPαspPOαSPPNαS XLBsPKBR`PJBR0XIαr⊂PHαQpPGαQ@XEBQ PDBQPCαpPXBαP0PAαP⊂P?Bo`X>BO@P=BO P<αnpP;αNPP:αN X8BnP7BM`P6BM0X5αm⊂P4αI@λ
αI0_αI (
Bi (
αI (	BI 0λBI0(λαI0(πBI0(εBi00¬BI@(¬αI@(∧BI@(∧αI@(βαi@(αBi@(ααI@(↓BI@(↓αI@(BI@x&βI@`%C	1 %F	1X%π)!p%α↓@H%@b@ "Q¬th+%A¬
A∃8λHAU(π!u F"∃⊂∞E"5λ∂DaE⊃βa4x¬αα h¬∪AhλBa∀pβ∧"H∧∪ a πAa∧hαEAp(∧∪Q@π@a∧`αεA`_βSAXπ tXαπ"DXαπB4Xαπb∀Pαλα∧Pαλ!tPαλATPαλaTPαλadPα	↓dPα	!TPα	ATPα	!tPαIα∧Xαλb∀XαλB4XαλBD`αλpλπ∪Axβ@ad`αG!_πS A`∧↓!thαFA8πS@Q@∧α"∧xαE!⊂XλS`a⊂¬β"%βCA0x∀!Hε∧be⊂
E"U_ε"5(
π"∃8λλAeP∧JA$("βR_~
b0(-B+ X,C+⊂h,βkx,βjq+D
px+∧
`x+βjPx*CjPp*βj@p*βJ0p)CJ0h)C* h)β* `(C*⊂`(C
`(β
X'C	pX'Bi`X'αi`P&BiPP&BI@P&αI@H%BI0H%B) H%α)08&A*λ"Qε3@"Qπ0⊂RcdP⊃∩DDP∪∩dt`∪Yα⊗@π~aFh¬[A7¬≤!'⊂∧\a↔ ∧]!π0∧≥Aπ8∧≡w@∧≡ wHβ↑!πPβ↑@wPβ↑AπXβSεdX≠RG∧P≤∩G∧X≠SεgXβ↑AπPβ↑@wPβ↑!πHβ↑ w@∧≡w8∧≥Aπ0∧≥!π ∧\a↔⊂∧\!'¬≠A6h¬ZaF@π→α∀`∪RdtP∪∩DDP⊃∩cd`Q(C ,XHd0∃@n@(9An H9α.⊂X8β.h7Cmpx7α⊂@6B0@6B0@6αP@5B PH5Bp@5α↓⊂@4B!⊂H4B↓0@4α↓P@4α↓P@3B↓p@3αα⊂@3αα⊂@2Bα0@2α"0H2ααP@1Bαp@1α"pH1αβ⊂@0Bβ0@0α#0H0αβP@/Bβp@/Bβp@/α∧⊂@.B∧0@.B∧0@.α∧P@-B$PH-B∧p@-α¬⊂@,B%⊂H,B¬0@,α¬P@+B%PH+B¬p@+αε⊂@+αε⊂@*Bε0@*αεP@*αεP@)Bεp@)α&pH)απ⊂@(Bπ0@(α'0H(απP@'Bπp@'Bπp@'αλ∧λ∧∪!∧!B	P@ ⊂a∧`∧⊂λP@%P
tX ∃i$,RH¬H%⊂∀X ∃iD*Q(C(,XHcλ↓⊂
TX ∃i$,RH¬H%⊂∀X ∃i4+S↓∧"B	P@ ⊂a∧h∧⊂λ0@'αλ∧λ∧∪aβx∧∪aβx∧∀↓βh∧∀↓∪X∧T!βX∧∀AβH∧∀A∪8∧Taβ8∧∃↓β(∧∃↓β(∧∃!β_∧∃Aβλ∧∃Aβλ∧∃aαx∧∃a∩h∧V↓αh∧⊗!αX∧⊗!∩H∧VAαH∧⊗aα8∧⊗a∩(∧W↓α(∧↔!α_∧↔!α_∧↔Aαλ∧↔a↓x∧↔a↓x∧_↓↓h∧_↓⊃X∧X!↓X∧_A↓H∧_A⊃8∧Xa↓8∧→↓↓(∧→↓⊃_∧Y!↓_∧→A↓λ∧→A↓λ∧→ax∧~↓h∧~↓h∧~!X∧~!⊂H∧ZAH∧~a8∧~a⊂(∧[↓(∧≠!_∧≠!_∧≠Aλ∧≠avxπ\↓Wε\!7⊂∧\A↔_β]W(↓Q(C0≤S$0~oP(>↓o@8=B∂ @=α∂⊂@<B∂@;B∞p@;α∞`@:B∞@@:α∞0@9B∞ @8B∞⊂@8α∞@7B
`@7α
P@6B
@@5B
0@5α
 @4B
@4αp@3B`@2BP@2α@@1B081α⊂@0B@0αp@/α`@.BP@.α0@-B @-α⊂@,α@+B
p@+α
P@*B
@@*α
0@)α
 @(B
⊂@(α	p@'B	`@'α	P@&α	@@%B	0@%α	 8%↓i0(&hT ≠BB2@⊗@`∀XαR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tP∧∩A∀P¬∩A$P¬∩A∀P∧∩@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tXαS ∀("∞f∪@*∪∧0_6↓-085Am085αPX↓↓k!8,ε*aP*α`pX)BA0P)α!PX(B!``(α!`p(α↓pp'B!px'Bαx'α!qλ'α!p8B)PHλ↓` H&B!p@↓α)@PπA`0P&αAp8↓BI@Pπα0P&αA`8ααI0PπA`PP%BA`@αBI0Pπ↓``P%BA`8βαI0Pπ↓``P%BAP@βαI XεA`pX%αaP8βBi XεαpX%αa@8∧αi Xε↓aX%αa0@∧αi X¬Aa⊂X%αa08∧Bi X¬α↓⊂X%αa 8¬αi X¬↓a X%αa 8¬αi X∧B↓ X%αa⊂8¬Bi X∧Aa0X%αa@¬Bi X∧↓a@X%αa8εαi XβB↓@X%α`p8εBi XβAaPX%α``@εBi0Pβ↓a`P%B@`8παI0Pβ↓a`P%B@P@παI0Xα↓a`X%B`@8παi@P↓B↓`P&α@08πBI@P↓AapP&B  @πB)PH↓↓bH&B@⊂8πBIaλπB)aλα)pxπB*pπB
pπα*⊂`πα* XεB*0P¬BJ@XβBjQP*ε*A8*↓` X)B
08)Aj08*↓*P_"QπD`*∩λc_¬U!↓H	∀aQ_∀"⊂pSb@X∞∪@p(¬AcdhβAa0 ε↓"∧hβα!0⊂∧BAt`βαB@`λ∪`XλCb∧Xββ↓qλλ∩```π∧b∧Xββ↓Q λ∩``hε¬"∧Xββ!Q(πR`p`εE"∧`ββ↓a(πSpXπ¬"∧hβBAa0λ∪!⊂@π¬B∧p∧α↓q0λ∪a8πEau∧↓Aq8λ∀↓⊂(πF↓uλ∧↓!q@λ∀A πF"¬_βA↓qHλ∃p_πFAe β@aqPεU `_πFa%(βaqH¬∃ `_πEa%(βaq ε∃ `_⊗U `_∃U `_∀U `_∪S00αA∧tXαA P πBAdXαA P πBAdXαA` πBAdXαAP(πBAd`α@@`(πBAd`ε↓ApPπ∪! 8πBAdp∧α↓pPπ∀@PπBAepπBAepπBAepπBAepπBAepπBaepπBaepπβ↓epπβ↓dh↓βa``π∪0xπβ↓dXαCA``π∩`p`εC!d`βBaPhπ∩a⊂PεC!dP∧Ba@pπ∩@phεβa`P↓∩`p`¬D↓`@β∪ P`¬D!`0βS@PP¬DAp βS@`H¬¬↓`⊂∧∪``@¬¬"e∧↓↓!0
∀"AHλTB⊃`π∃↓R¬Uaα βQ(Ch$THd(λBK↓λ+¬JAX)α px(Aa@p(↓Bp'AB x'↓B@x&AB`x&A#↓&↓C⊃&↓#1λAI00∞∧α0%ACQπAI0(∂D↓P8%↓D⊂x¬α	 0⊃λ	 0∩π) 0∪F	 0∃D) 0%↓I 0%AI00&↓E X&↓Dq⊂&AD18&Ad↓X'↓c`hβαIp8∞β! @(αβ⊂hεAj⊂HC!`0)Bb pπAJQ¬C"0+CA pλ↓K⊂`¬βB⊂(/↓a p7CMpp7CNp8βn⊂x9∧∞1λ:D.q<D∂!%Cd x%∧dx%¬#pp%¬c`p(∧c@p)∧C0p*∧# p+∧#p,∧α`x,DαPp-∧α@p.∧α⊂p.D↓px/∧↓Px0∧↓⊃0D Qλ1HlQx3Fm! "Qπdh+⊃λ@⊂ ∩)4%RH∧h%⊂	TP ∪)4%Sλ∧H6AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP86AmP87↓-p_"Qπth+⊃λB(↓[@Vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ vhβ[ t` ∩)4%RH∧h%⊂	TP ∪)4%Sλ∧H"QλβH!⊃λ@_↓λ`$`αλ D`αλ TXαHdXαHtXαH↓∧PβGA$PβGADPβGAdP∧π!tP∧Gα∀P¬εb4P¬FB4Pεε"DPεF"4XεFα4XπEb$`πEb∀`λ¬b∧hλε↓dpλ¬adp	¬!Tx	¬`λβ∀α!_β@U⊂λD@`⊂α∀b⊃β`E 	β@` ↓∃" hβ∃"0`β∃"@PβUαp@β∀c⊂8β∀c 0β∀A⊂	↓ e⊂∧↓α⊂_βT!⊂(	 eλ∧AC¬¬↓bu∧B"e∧BbDx¬βα$x¬β"$x¬βB$p¬Dα∀p¬D"∀p¬DB$p¬Db$p¬Eα$p¬EB∧pε¬B∧x¬Eb∧xε¬auε¬auεF↓UλεF↓Uλπε↓E⊂πε↓5⊂πF↓%_πF↓∃_πF!¬_λε u πF u πF u πF@U⊂λε`TPε`TPGDP
G@DX	λ $("↔(∧H∨O  _≠i0(~↓) 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8→↓i 8@#8%↓bp(↓i 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓a∩∧Ai 8∧λA8%↓`r βAi 8βIp8%↓`r βAi 8∧λA8%↓a∩∧Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%↓b`8
Ai 8↓bP8%ααP8
α	08↓"P8%Ab`(
Ai0@↔α	@@⊗α	@H∃α)PH∀α)PX∩αi``⊂β	ph∞β*xβj⊃_ε∧j2p*
b@,	1p/ε0p"QβH!⊃λ@⊂↓R`TPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβRFtP≤∩G∀P≤RG∀P≤∩FtPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR`T`↓Q(Fλ≤PHD ~oP(>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓iC8%N	#H%∞)#H%N	C8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓o@8>↓oP(?hT 1πfV⊂%@4XαR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβRCTP∂∩CtP∂RCtX∞Sβ4("_cr⊂1∩C _1A, 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓iAh%GI!x%πi!x%G)AX"QAx~XI ⊂
RcTP∂RCtP∂RCdP∞R@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR`T`↓Q(F(∂HL$P↓εi1h%πi!x%πi1p&π, 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l 81↓l0(2hT 4ε%⊗⊂%¬5hαWu`βVa¬XβV`uP∧⊗@uH∧⊗ uHβV↓¬@βUa¬8βU`u0∧∃@u0βU!¬(βU↓¬ βUu_∧∀`u⊂∧∀@u⊂βT!¬λβT↓¬βTtx∧∪`tp∧∪@tpβS!∧hβS t`∧∪tX∧∩`tXβRA∧PβRA∧XβR`tX∧∪t`∧∪ thβS!∧pβS@tp∧∪`tx∧∀uβT↓¬λβT!¬⊂βT@u⊂∧∀`u_∧∃u βU↓¬(βU!¬0βU@u0∧∃`u8βUa¬@βV↓¬HβV uH∧⊗@uP∧⊗`uXβVa¬`βWuhαW@4("~#∩⊂1∩@ _%A) 8%↓i @%Ai08%B	@8&α	P8&AiP@'↓i`8'α	p8'B
8(↓j@(Aj⊂@)↓j 8)α
08)B
@8*↓j@@*AjP@+↓j`8+α
p8+Ajp@,↓k@,Ak⊂8,B 8-α08-Ak0@.↓k0@-Ak08-α 8,B⊂8,Ak@,↓jp@+Ajp8+α
`8+↓jP@*Aj@@*↓j@8)B
08)α
 8)↓j⊂@(Aj@(↓j8'B	p8'α	`8'↓iP@&AiP8&α	@8%B	08%Ai @%↓i 8%A)@_"Q
1x↔XI ⊂↓E 4XαD`TPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tXαD`T`↓E 4("≠¬3(-QB@_.A+P(.↓k@8-B+ X,C+x+D*a_*E*0@A`⊂@(B  8↓α)pHα↓`@H&B@P8αBI0Xβ↓``X%αA8∧αI @¬↓a @%↓A@8ε↓I0_π↓a`_.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8.↓k@8%@a`8πi 0ε↓a@0%α↓ 8¬α	 P∧↓aP%B``8βαiPPαA`PP'B @8αα*⊂H↓↓` H)B⊂8B
Q(+∧jqλ,βk⊂h-αk0H.↓k@8.A+P(/hT 6PHuX#λ&Hα~f@β→aε8∧→A&(ε→↓f π_bε⊂	_!⊂⊂∧X↓⊂ ∧Wa⊂0∧WA⊂@∧W!⊂P∧W↓⊂`∧VA p¬⊗!!¬∃aAε∃AQεU↓qπTB⊃λTα1	S"a∩ap⊂βDp⊂πRAp_βDp_πRAP(βDp(εRA08βDp8¬RA⊂HβDpH∧R@pXβDpXβR`0pβDpp↓WqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβWqβR`0pβDpp↓R@pXβDpXβRA⊂HβDpH∧RA08βDp8¬RAP(βDp(εRAp_βDp_πRap⊂βDp⊂πS"a∀α1	TB⊃λU↓qπUAQεUaAε⊗!!¬⊗A p¬↔↓⊂`∧W!⊂P∧WA⊂@∧Wa⊂0∧X↓⊂ ∧X!⊂⊂∧XB&_λ→↓f π→!F0¬→aε8∧~f@β~ FP↓⊃(Fx	GλβH↓A)0P%β)0h&C	pX(αJ⊂P(BJ P)αJ P)BJ0P)BJ0P)BJ0P)BJ0P)BJ0P)αJ P)αJ⊂P(BJ⊂P(αJP'BIpP'αI`P'αIPP&BI@P&αI@P%BI0P%BI P%αI P%αI P%αI P%αI P%αI0P%BI0P&αI@P&BIPX'β)ph(β* P*AHT 8↔,f β⊂_PA48P↓sp@Oα∪`@NB∪P@Nα∪@8MB∪08Mα∪⊂@LB∪@Lα∩p@KAr`@JB∩P@Jα∩@@IB∩08Iα∩⊂@HB∩@Hα⊃p@GAq`@G↓qP@Fα⊃@@EB⊃0@Eα⊃ 8DB⊃@Dα⊂p@CBPλ∀α0 ∪Ak (∪α@∩AjpH∩α
P`⊃α
@h⊃α
!⊂α
⊃λ⊂α	q ∂α	`8C#`8&↓`0p∞α	08αC#0@%↓@pp
α	 (∧C#⊂@%@A0pα⊂hB⊂p↓k p
α0h
↓k0p	α@hλB@pλαPhπBPpπα`hεB`pε↓kph¬Bpp∧Bh∧BpβB⊂hβB⊂pαB hαAl p↓B0h↓α0pBA(2¬,Q_2DLaλ3∧px3CMh4β
⊂X4BM @5α
006↓λT 8Sjt " Q0αC Q0αRD X⊃∩D X⊃∩D X⊃∩dh⊂∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∃↓axπ∩h∧h%⊂	tP ∪i$'R`Px∩C`T("≤J5`#Q∧)RH¬_%⊂
4X ∀)D'Sλ∧x&P	Th ∪)d%SH∧X'P	∀x ∩*↓_AJ↓_↓j⊃↔↓j⊃↔↓j!⊗↓j0x⊗↓J1∃↓j@x∃↓JA∀↓jPx∀↓JQ∪↓ja∩AJa∩↓jq⊃↓jq⊃↓k↓⊂↓k⊂x⊂↓K⊃∂↓k x∂↓K!∞↓k0x∞↓K1
↓kAAKA↓kQ↓kQ↓ka
↓ka
↓kq	↓lx	↓L↓λ↓l⊂xλ↓L⊃π↓l!εAL!ε↓l1¬↓l1¬↓lA∧↓lA∧↓lQβ↓l`xβ↓Laα↓lpxα↓Lq↓↓m↓AM↓84E-⊃(5∧m!_5D-1λ6βmPh6C-`X7αmpH7B.8"Q∞Cp$∂'P⊂↓M4XαL@TPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtPβLtP∨∩GdP∨∩GdP∨∩gD`≥⊃(G(∨∩πSh↓∞I3`%∂I#p%∂I#p%∂I 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i 8_↓i0(→↓)@_~hT ;∩*eX"@h∧ &⊂λdX ⊃i4$∩h∧8%PλtX ⊃I08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%Ai08%PλdX ⊃i4#Rh∧@%Pλt` ⊃IT"⊃b⊂ ⊃)4#RH∧@%⊂	∀P ∩	4#Sλ∧("Q∞tH)⊗hP⊂ ⊃	4#∩h∧8%⊂	∧X ⊃i4#Sλ∧0EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAq08EAiD#∩h∧8%PλtP ∩	4#Rh∧0&⊂λD8λH∧(%PλtX ∩	$$Rh∧@%Pλt` ⊃(T <	¬uH"CA¬ πTB5Sa00∧∪A Xβ∪! hβ∪↓ xαS↓ h∧∩a h∧Ra h¬∩a⊂h¬RA h¬RA h¬RA p∧RA p∧RA xβRA!λ↓RA$X¬∩a$`∧S↓$h∧SA∀x∧T↓∃⊂∧∀a∃(¬∃↓U⊂λTαTx¬A↓∧p¬↓a∀h¬α!∀`¬αa∀`¬β↓∀X¬β!$X¬βA∀X∧Ca$P¬βa$P¬∧↓$P¬∧↓$P¬∧↓$P¬∧↓$P¬∧↓$P¬∧↓$X¬βa$X¬βA$`∧CA$`¬β!$h∧C↓$p∧Ba$x∧B!%∧Aa%⊂∧↓!%_
U"∃8εV!%`∧WA¬x∧X↓⊗λ∧XA⊗⊂¬_a⊗_¬_a& ¬∀1λ¬∪@px¬∪!⊂p¬∪!⊂p¬∪↓0h¬∪↓0h¬∪↓0`¬∪↓ h¬∪!⊂h¬∪!h¬∪@Px¬∪@`h¬∪`pP¬∀↓8¬∀"u_	U!u@∧Q(GH∪L$(λA+ 8,B+X,αkX,αkX,αkX,B+⊂H,B+⊂H-↓k 8-↓k 8-A+0(-A)P0∧↓!0&α p_βB)0hα`@h%∧ _↓∧	"8%	i"8%∧ _↓∧	0hα`@h&α p_βB)P0∧↓!0-A+0(-↓k 8-↓k⊂H,B+⊂H,B+X,αkX,αkX,αkX,αkX,αkX,αkX,αkX,αkX,αkX,αkX,αk⊂H,B+⊂H,B+⊂H,B+⊂H,B+⊂H,B+⊂H,B+⊂H,B+ 8-↓k 8-↓k 8-↓k 8-↓k 8-A+0(-A+0(-A(T =	f¬H"D UPβV!∃@¬V↓5@¬V↓5@¬V↓5H∧V!∃H∧V@uPβV@uPβV`ThβαP@β∪↓⊂0αAA∀XεA0 εRB⊂↓@B∧P∪RDtP∪RB⊂↓@B∧XεA0 εS↓⊂0αAA∀hβαP@β⊗`UXαV@uPβV@uH∧V!∃H∧V↓5@¬V↓5@¬V↓5@¬V!∃PβV`T8D UPβV!∃@¬V↓5@¬V↓5@¬V↓5H∧V!∃H∧V@uPβV@uPβS@@HαB D`∧A@P0∧Ra@ αA↓DXπ`0_π∩DtP∪RDtP∪Ra`_↓@adXε↓ 0(ε∪↓⊂0αAA∀pαα PHα⊗`UPβV@uPβV!∃H∧V!∃@¬V↓5@¬V↓5@¬V↓5H∧V@uXαQ(GX≡⊃*t HkR@-αp+
S)L*!X∧↓j⊃`∧↓j↓h∧↓iqp∧↓iax∧↓iax∧↓iR∧↓iR∧↓iBλ∧↓iBλ∧↓i2⊂∧↓i2⊂∧↓i2⊂∧↓i"_∧↓i"_∧↓i"_∧↓i"_∧↓i"_∧↓i"_∧↓i"_∧↓i"_∧↓i"_∧↓i2⊂∧↓i2⊂∧↓iBλ∧↓iBλ∧↓iR∧↓iR∧↓iax∧↓iax∧↓iqp∧↓j↓h∧↓j⊃`∧↓j!X∧↓jAH∧↓jQ@∧↓jq0∧↓k⊃ ∧↓k1⊂∧↓k`x∧↓l0P∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓l`8∧↓lp(¬↓-_εhT >∪*e #HA&Hλ→bF(_cF⊂∂_$ε⊃↔dEx∩↔Dep∪↔%¬h∀↔%¬`∃↔¬%`∃↔¬%`∃↔¬%`∃↔¬%`∃↔%¬h∀↔%¬p∪↔Dex∩↔dF⊃_$ε⊂∂_cE(∧↓C00∧∀a@ 
A↓Eλλ#Pλλ∀λ∧λ'Pλ4p ⊃)d"S(∧8&Pλt` ∩)D$Rh∧X%P	4X ∩i$&RH∧h%⊂	TP ∪)$&RH∧h%⊂	TP ∪)$&RH∧h%P	4X ∩i4%Sλ∧H&⊂	∀h
A p(
S#0(βA#4p
↓ p(
∪C (βA#$x↓@p0∀αp0βABuλ
A`p8
Tb @βBα%(πα!⊂Hπ∃a⊂`∧C↓⊗`∧[↓⊗X¬Za6X¬Za6PεZAVPεZa6`∧Q(Gh&UJt8∩@m`(6AmP86α-0X5Bm h5β-⊂x4α⊂@4α⊂@3B0@3α 0H2B PH2Bp@2α pH1B!⊂H1B↓0@1α↓P@0B!PH0α!pH/B"⊂H/αB⊂P/α"0H.B"PH.α"pH-B#⊂H-α#0H,BC0P,αCPP+BCpP+αD⊂P*BD0P*αDPP)BDpP(Be⊂X(αe0X'BePX'αepX&βε⊂`%BfPX%BFpX%αG⊂P%αG⊂P%BFpX%BfPX&βε⊂`'αepX'BePX(αe0X(Be⊂X)BDpP*αDPP*BD0P+αD⊂P+BCpP,αCPP,BC0P-α#0H-B#⊂H.α"pH.B"PH/α"0H/αB⊂P/B"⊂H0α!pH0B!PH1α↓P@1B↓0@1B!⊂H2α pH2Bp@2B PH3α 0H3B0@4α⊂@4α⊂@4Cm h5β-0X5Bm@H6AmP87↓-p_"Q∂dh+∩(`x¬εa%0λ¬"¬ 
∧"E⊂β#¬λ
αc%∞AcTx∂A#tpεα↓P_εB↓Dp∧CA0λ¬CA∀h∧DαQ∧S!↓_λDa∧`∧¬!q(∧∪q8εE`tX∧ε↓1@∧∩`qP∧F@tXβFA⊃PβR`qXβF`tP∧ε`qX∧∩@q`βGtPβG QhβR@qp↓G@tPβO`tPβO`tPβO`tPβO`tPβO`tPβO`tP∧∂!∧XβO tXβO tXβO tX∧∞a∧`βN`t`∧∞!∧hβN th∧
a∧p∧
!∧p∧La∀x∧a∧x∧L!∃∧Ka∃λ∧K!∃⊂∧Ja∃⊂¬
!%_¬	a% ¬	!%(¬λa%0¬λ!%8¬πa%@¬Fa5H¬F!5P¬Ea5X¬E!5`¬Da5p¬Ca5x¬C!6¬Ba6λ¬B!6⊂¬Aa6 ¬↓!&(¬a&0∧@a⊗8∧@!⊗@λZ!vPεZAVX¬[↓⊗`∧[ vhβ[@Vx↓Q(Gx&UJD8∩@m`(6AmP86α-@H5Bm0X5β-⊂x4Cm↓λ3Dlq_3¬,Q82ε,1X1π,⊃x0λ+b(.IkBH-Jk"h,*s_+
*S8*∞*3X)∂*∪x(⊂λ∃ ⊂)t!SH∧('⊂λTh ⊃iT#Sλ∧H&⊂	∀X ∩i4%Rh∧X%⊂	TP ∪)$&RH∧h%⊂	TP ∪)$&RH∧h%⊂	TP ∪)$&RH∧h%P	4X ∩i4%Rh∧X&⊂	∀` ∩)A`αA`Q`&F`P8αFiQXαA`QX'ε@P8αFIaHβ↓`aH'F`8βε
↓0βA`q0(E↓8∧¬
1∧B!⊃*Ba@Hεαm@H6α-0X5Bm0X5Bm h5β- h5Bm@H"{bε07[NF00[-⊗`<Hλ4h!∀k≡x∞Xmv 4[Lw_1ZVh2H
F(,λ
Vλ:~∧π_<[,&x6≤⎇p`3≠mg 3_,6(1≡.F(y@≥ >+c 

)X
0@P/ P/ `≤?␈x␈h@∪≡`0↓tHx⊃⎇@∀αEXα≥p{LπR>¬Oo0↓PP⊗`R}` .@↓tHx↓8⎇=@ShαEXα _{↓LπR>π␈0βXx$|→↑`@0↓tHxu=A⊗βi∨β⊃λ{αLπR>OO0¬Xx$|
∂>``0↓tHx↓X[=AWH∧lβOx{βH¬0πRO0πPP⊗`∂J}a0↓tHx↓xD=B⊗βi∨↓␈0{∧LπR>λ∧␈0	Xx$|⊂3>a 0↓tHxpR⎇BVβi∨↓tp{¬LπR>λ.?0Xx$|⊃π≡a@0↓tHxα⊂b=C⊗βi∨∧4X{εLπR>αcO0
Xx$|¬k>a`<@α6Xα =CWH∧l∧U{πLπR>	P␈0∂Xx$|∪F>b<@α6XHe⎇D↔H∧l↓"_{λH¬0α≡∂0⊃PP⊗`∧¬>b <@α6XP>=DWH∧l∧zP{	O⊂	X⊗
⊃O0∪Xx$|∀[>b@<@α6XαH|⎇E↔H∧l¬(@{
I@ε∞≤
b␈0∃S`≤8⊗!↑b`<@α6Xαhz⎇EWH∧l¬np{O⊂	X⊗y␈0↔Xx$|_,>c∀@gh∪βλJ=F↔H∧lαF{J0εORβπo0→T`h∨$→↓>c 4@α∃((β⊂K=FVH∧*Uε:⊂{
@πR>
∃o0≠@x$|~Z}c@!@↓3__`g⎇G∀0αf3↓\`{∞J0εORβK←0≥PP⊗`~q≡c`,@↓d  β8,⎇GUHβHDπ⊂⊂{∂KPπR>∞A←0∨W x$|≥)>d&↓C@pβX≡⎇K5_β'iD({↔
0εOR↓'o0.T`h∨$≡~≡ep)@↓SpH0≠⎇Ku_β'ir0{_	@ε∞≤∂5∨00S`≤8∨∞↑f⊂≤@↓∩8hβpe⎇L3Hα$⎇πy@{→π⊂∧Iz⊂←02N H∪t L↑f0 ↓"h@↓⊂a=LtαEXα9λ{~ε0∧λD⊂?␈04L`@⊃λ!3≡fP∪a0`↓λπ⎇M4αEXλ9H{≠λ¬0⊃%O06S`≤8#}fp ↓"h@↓ =Mr0↓Blλ{⊂{≤0πtO∩π?08Xx0,@$X}g⊂3α∧xP∧P@=N3xαB>PαX_{≥
0εOR∩o←0:T`h∨$&≠↑g00↓tHx∧h/⎇Nvβi∨	a({≡π0∧YLP∪Y?0<M`H∪t'{↑gP≠@↓∩8h¬e⎇O4`βπ∞
≤0{∨PπR>∀c␈0>W x$|*π↑gp.@↓tHx¬(.⎇Ouhβi∨
i0|@¬8h`{⎇xow{⎇x